logic and proofs

visit shbcf.ru